λm.me
/blog
Posts
2023-09-30
-
Implementing kind inference
2021-04-13
-
Typing polymorphic variants in Giml
2021-04-10
-
Typing extensible records in Giml
2021-04-06
-
Giml's type inference engine